Accommodating Interference in the Formal Design of Concurrent Object-Based Programs
نویسنده
چکیده
This paper is about formal development methods for concurrent programs. Interference is the bane of the quest for compositional methods for concurrency. Concepts from object-oriented languages are argued to be a promising way of taming interference. Two approaches to development are described which are applicable to differing degrees of interference. Please cite the original publication: Accommodating Interference in the Formal Design of Concurrent Object-Based Programs, C. B. Jones, Formal Methods in System Design, Vol. 8, no. 2, pp105–122, 1996.
منابع مشابه
Constraining Interference in an Object-Based Design Method
Thispaperis the first of a series which are intended to contribute to tractable development methods for concurrent programs by exploring ways in which objectbased language concepts can be used to provide a compositional devalopment method for concurrent programs. The property of a (formal) development method which gives the developmentprocess the potential for productivity is compositionality; ...
متن کاملEnhancing the usability of rely-guarantee conditions for atomicity refinement
Formal methods are a useful tool for increasing the confidence in the correctness of computer programs with respect to their specifications. Formal methods allow designers to model specifications and these formal models can then be reasoned about in a rigourous way. Formal methods for sequential processes are well-understood, however formal methods for concurrent programs are more difficult, be...
متن کاملProducing Network Applications Using Object-Oriented Petri Nets
The programming language Java has become and extremely popular language; many people are writing concurrent systems using Java. The design and implementation of concurrent Java programs is significantly more complex than sequential programs and the use formal method is seen as extremely beneficial for the design and implementation of such systems. The Petri net formalism [Petri 1962] can be use...
متن کاملA Simple, Object-Based View of Multiprogramming
Object-based sequential programming has had a major impact on software engineering. However, object-based concurrent programming remains elusive as an effective programming tool. The class of applications that will be implemented on future high-bandwidth networks of processors will be significantly more ambitious than the current applications (which are mostly involved with transmissions of dig...
متن کاملSAVCBS 2004 Specification and Verification of Component-Based Systems
Developing safe multithreaded software systems is difficult due to the potential unwanted interference among concurrent threads. This paper presents a sound, modular, and simple verification technique for multithreaded object-oriented programs with object invariants. Based on a recent methodology for object invariants in single-threaded programs, this new verification technique enables leak-pro...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Formal Methods in System Design
دوره 8 شماره
صفحات -
تاریخ انتشار 1996